Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
291	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
292	Product Line Engineering Solutions for Systems and Software Engineer your product line portfolio as a single production system rather Add to Reading List Source URL: www.biglever.com Language: English - Date: 2012-02-20 22:59:44 Information technology management Formal methods Product management Software engineering Product development Product family engineering Software development process Software product line IBM Rational Unified Process Software project management Business Technology
293	Expert Systems with Applications–Contents lists available at SciVerse ScienceDirect Expert Systems with Applications journal homepage: www.elsevier.com/locate/eswa Add to Reading List Source URL: romisatriawahono.net Language: English - Date: 2013-01-23 00:58:49 Formal sciences Data mining Computational neuroscience Neural network ADAPA Web mining Cluster analysis Agent-based model Bioinformatics Statistics Science Data analysis
294	Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-08-24 05:32:58 Computer Aided Verification Runtime verification Computer science Model checking Real-time computing Theoretical computer science Formal methods Orc
295	Microsoft PowerPoint - ReserachComputerScience.ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2015-03-10 11:49:14 Research methods Theoretical computer science Design science Engineering design Research Formal language Information systems Formalism Programming language Science Logic Mathematics
296	Zuech et al. Journal of Big Data:3 DOIs40537SURVEY PA PER Open Access Add to Reading List Source URL: www.journalofbigdata.com Language: English Computing Information technology management Computer security Formal sciences System administration Anomaly detection Data quality Data mining Intrusion prevention system Computer network security System software Intrusion detection systems
297	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
298	Tutorial proposal for FM’08 Jean-Raymond Abrial Topic: Event-B and the Rodin Platform. Abstract on the Objectives and Contents: This tutorial is an introduction to the construction of complex systems using Event-B and Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 09:23:13 B-Method Rodin Jean-Raymond Abrial Model checking Conceptual model Rodin tool Formal methods Software development Theoretical computer science
299	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
300	Deliver Now! Methodology For Implementing Websites Using Kentico CMS for ASP .NET Kentico CMS Add to Reading List Source URL: www.kentico.com Language: English - Date: 2011-12-16 02:59:13 Web development Software Methodology Software development process Software engineering Usability Web content Web accessibility Software prototyping Content management systems World Wide Web Formal methods

UPDATE